Hypergraph Construction and Its Application to the Compositional Modelling of Concurrency
نویسنده
چکیده
We define a construction operation on hypergraphs using a colimit and show that its expressiveness concerning graph rewriting is equal to the graph expressions of Courcelle and the double-pushout approach of Ehrig. With an inductive way of representing graphs, graph rewriting arises naturally as a derived concept. The usefulness of our approach for the compositional modelling of concurrent systems is then shown by defining the semantics of a process calculus with mobility and of Petri nets.
منابع مشابه
Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems
We define a construction operation on hypergraphs based on a colimit and show that its expressiveness is equal to the graph expressions of Bauderon and Courcelle. We also demonstrate that by closing a set of rewrite rules under graph construction we obtain a notion of rewriting equivalent to the double-pushout approach of Ehrig. The usefulness of our approach for the compositional modelling of ...
متن کاملSpatial modelling of zonality elements based on compositional nature of geochemical data using geostatistical approach: a case study of Baghqloom area, Iran
Due to the existence of a constant sum of constraints, the geochemical data is presented as the compositional data that has a closed number system. A closed number system is a dataset that includes several variables. The summation value of variables is constant, being equal to one. By calculating the correlation coefficient of a closed number system and comparing it with an open number system, ...
متن کاملModelling and application: A research domain in mathematics education
Abstract: The main purpose of this paper is introducing modelling and application as a research domain in mathematics education through reviewing related literature. The first purpose of this review is to give a more clear meaning of modelling and application, and base on that, makes the distinction between modelling in mathematics education & modelling in other scientific domains. There are so...
متن کاملCompositional ecological modelling via dynamic constraint satisfaction with order-of-magnitude preferences
Compositional modelling is one of the most important knowledge-based approaches to automating domain model construction. However, its use has been limited to physical systems due to the specific presumptions made by existing techniques. Based on a critical survey of existing compositional modellers, the strengths and limitations of compositional modelling for its application in the ecological d...
متن کاملNumerical Modelling of Timber Braced Frame Masonry Structures (Dhajji Dewari)
This paper presents numerical modeling technique for Dhajji-Dewari structures (timber-braced rubble stone masonry), and its application for the evaluation of in-plane force-deformation capacity of Dhajji wall panels of different configuration of bracings. Dhajji structures are mainly composed of vertical and horizontal timber posts and braced using diagonal bracings and horizontal studs. Wall o...
متن کامل